import __00SetRelation as sr
import _00SetFunc as ss

#判断是否为偏序集
Xm,Ym,n=10,10,15 
X=range(Xm)
Y=range(Ym)
R0=sr.createrelation(X,Y,n)
R=sr.t(X,sr.r(X,sr.a(X,R0)))
tv=sr.ispartialorder(X,R)
print("R0,R",R0,R)
print(tv)